Diagnosability, Security and Safety of Hybrid Dynamic and Cyber-Physical Systems by Moamar Sayed-Mouchaweh

Author:Moamar Sayed-Mouchaweh
Language: eng
Format: epub, pdf
Publisher: Springer International Publishing, Cham

The proposed idea is to compute a minimal fault isolating sequence for each uncertain fault states (U F ) of the MM diagnoser in the detection step using the testing theory and based on homing sequences.

Function HomingSequence can be applied off-line to compute all fault isolating sequences. ___________ Function HomingSequence(Diag(G))

1. Input: The diagnoser Diag(G) = (Y, Σ o , δ y , y 0)

2.Create a set

3. For all y ui  ∈ Y 3.1. If φ(y ui ) = U F and ∃σ ∈ Σ o , ∃y ∈ Y with φ(y) = N or U s.t. δ y (y, σ) = y ui 3.1.1.Let α ui  = ε (ε is the empty word)

Download

Copyright Disclaimer:
This site does not store any files on its server. We only index and link to content provided by other sites. Please contact the content providers to delete copyright contents if any and email us, we'll remove relevant links or contents immediately.